perm filename APPOIN[E85,JMC] blob sn#801110 filedate 1985-08-15 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	appoin[e85,jmc] Memo on Carolyn appointment
C00003 ENDMK
CāŠ—;
appoin[e85,jmc] Memo on Carolyn appointment

Research Associate appointment of Carolyn Talcott

	We propose to appoint Carolyn Talcott, whose c.v. is attached,
Research Associate in the Formal Reasoning Project under the direction of
Professor John McCarthy.  She will do research in the mathematical theory
of programs and will be scientific project manager of the Qlisp project.
I have verified the appropriateness of the appointment and determined the
salary.  Any comments on the proposed appointment should be directed to me
or to Professor McCarthy.

					Nils Nilsson, Chairman